\documentclass[12pt,a4paper,titlepage,oneside]{article}
\usepackage{wcet_prot}
\usepackage{url}
\usepackage[english]{babel}

\title{Example 1 \\
			Group4 4
}

\author{Stefan Hell, \matrnr 0725714    \\
         {\small e0725714@student.tuwien.ac.at} \\
         Gernot Seidl, \matrnr 0502570    \\
         {\small e0502570@student.tuwien.ac.at}
}

\begin{document}

% create titlepage
\maketitle

\tableofcontents
\newpage

%------------------------------------------------------------------
%------------------------------------------------------------------

\section{Getting Started (6)}

\input{problem1.tex}

\input{problem2.tex}

\newpage

%------------------------------------------------------------------
%------------------------------------------------------------------

\section{Introduction to WCET Analysis (9)}

\input{problem3.tex}

\input{problem4.tex}

\newpage

%------------------------------------------------------------------
%------------------------------------------------------------------

\section{Analyzing the signal monitor benchmark (16)}

\input{problem5.tex}

\input{problem6.tex}

\input{problem7.tex}

\newpage

%------------------------------------------------------------------
%------------------------------------------------------------------

\section{Reflections (4)}

\input{problem8.tex}

\newpage

%------------------------------------------------------------------
%------------------------------------------------------------------


\section{Listings}

% here comes the source code

\subsection{Instruction Trace of Problem 2} \label{sec:ins}
\lstinputlisting{sources/ins.txt}

\subsection{insertion\_sort.c} \label{sec:insertion}
\lstinputlisting{sources/insertion_sort.c}

\subsection{insertion\_sort.ais} \label{sec:ins_ais}
\lstinputlisting{sources/insertion.txt}

\subsection{Task.c} \label{sec:task}
\lstinputlisting{sources/task.c}

\subsection{Fixedpoint.c} \label{sec:fix}
\lstinputlisting{sources/fixedpoint.c}



\end{document}

